logical implication

英 [ˈlɒdʒɪkl ˌɪmplɪˈkeɪʃn]

美 [ˈlɑːdʒɪkl ˌɪmplɪˈkeɪʃn]

网络  逻辑意涵; 逻辑隐含式; 逻辑蕴涵式; 逻辑蕴含; 逻辑蕴涵

英英释义

noun

• a logical relation between propositions p and q of the form `if p then q'
  Synonym:implicationconditional relation

双语例句

• XML function dependency, logical implication are the foundation of the further research on XML key and XML normalization theory.
  XML函数依赖、逻辑蕴涵是进一步研究XML键和XML规范化理论的基础。
• With the development of logical science, the implication paradox will eventually be eliminated.
  随着逻辑科学的发展，蕴涵怪论最终将被消除。
• The Logical Implication on Social Construction of the Paris Commune and Its Contemporary Value
  巴黎公社社会建设的逻辑蕴涵与当代价值
• In general, Liu Xie's literary style focuses on both the natural origin of literary style and the relations between justice and reasons, which manifests the harmonious cultural spirit of the combination of fact description, logical description and knowledge implication, and esthetic implication.
  总体上看，刘勰文体论既重文体的自然起源，又重文体的义理关系，体现了事实描写、逻辑描写与知识寓意、审美寓意相统一的文化精神。
• By using the method of literature and logical analysis, this article analyzes the implication of conductor effect of Olympic economy, basic path and role.
  采用文献综述和逻辑分析的方法，分析了奥运经济的传导效应含义、基本路径、作用等问题。
• This paper points out that: In natural language fluent, the reasoning type of "ruguo" and "rugu-oshuo" is different: the former emphasizes on the logical reasoning which indicates material implication, and the latter emphasizes on the metaphor reasoning.
  文章提出以下一些观点：自然语流中，如果句式与如果说句式在推理类型上有所侧重，前者重在表示逻辑推理，后者重在表示隐喻推理；
• Coding DTD can test the logical implication problem of XML function dependency in linear time.
  编码后的DTD能在线性时间内对XML函数依赖的逻辑蕴涵问题进行判定。
• Logical context is helpful in context reasoning, rhetorical context is helpful in understanding implication;
  逻辑语境帮助完成语境推理，修辞语境帮助理解言外之意；有对言外之意需逻辑语境与修辞语境共同参与。
• Material and logical implication coincide in the classical logic, however they do not coincide in every logics.
  实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的，但是二者并不是在任何逻辑中都一致。
• Research on logical implication for XML based on DTD path coding
  基于DTD路径编码的XML逻辑蕴涵问题研究